61. Categoricity /
پدیدآورنده: John T. Baldwin
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Completeness theorem,Model theory
رده :
QA9
.
67
.
B35
2009
62. Categoricity
پدیدآورنده: Baldwin, John T.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Completeness theorem,، Model theory
رده :
QA
9
.
67
.
B25C3
63. Classification theory: Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
پدیدآورنده: J.T. Badwin )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Model theory - Congresses
رده :
QA
3
.
L28
no
.
1292
64. Classification theory and the number of non-isomorphic models
پدیدآورنده: Shelah, Saharon.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Model theory
رده :
QA
9
.
7
.
S53
1990
65. Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
پدیدآورنده: U.S.-Israel Workshop on Model Theory in Mathematical Logic, )5891, Chicago, Ill.(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Model theory-- Congresses
رده :
QA
3
.
L28
no
.
1292
66. Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15 - 19, 1985
پدیدآورنده: J. T. Baldwin )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Model theory
رده :
QA
3
.
L28
Vol
.
1292
67. Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
پدیدآورنده: J.T. Baldwin )ed.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Model theory
رده :
QA
9
.
7
.
U8
1985
68. Combinatorial Set Theory
پدیدآورنده: \ Lorenz J. Halbeisen
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Combinatorial set theory.,Forcing (Model theory)
رده :
E-Book
,
69. Combinatorial set theory
پدیدآورنده: / Lorenz J. Halbeisen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Combinatorial set theory.,Forcing (Model theory)
رده :
QA
,
248
,.
H238
,
2012
70. Combinatorial set theory
پدیدآورنده: Lorenz J. Halbeisen
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع: Combinatorial set theory,Forcing )Model theory(
رده :
QA
248
.
H22C6
2012
71. Combinatorial set theory
پدیدآورنده: Lorenz J. Halbeisen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Combinatorial set theory,Forcing (Model theory)
رده :
QA248
.
H25
2012eb
72. Combinatorial set theory
پدیدآورنده: / Lorenz J. Halbeisen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Combinatorial set theory,Forcing (Model theory)
رده :
E-BOOK
73. Combinatorial set theory: with a gentle introduction to forcing
پدیدآورنده: Halbeisen, Lorenz J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه گلستان (گلستان)
موضوع: ، Combinatorial set theory,، Forcing )Model theory(
رده :
QA
248
.
H238
C66
74. Combinatorial set theory :with a gentle introduction to forcing
پدیدآورنده : Halbeisen, Lorenz J.
موضوع : ، Combinatorial set theory,، Forcing )Model theory(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
75. Combinatorial set theory : with a gentle introduction to forcing
پدیدآورنده: Halbeisen, Lorenz J.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Combinatorial set theory,، Forcing )Model theory(
رده :
QA
248
.
H25C6
76. Complete theories
پدیدآورنده: Robinson, Abraham
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Model theory,، Fields, Algebraic
رده :
QA
9
.
7
.
R6
1977
77. Complete theories
پدیدآورنده : Robinson, Abraham
موضوع : ، Model theory,، Algebraic fields
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
78. Constructible sets with applications
پدیدآورنده: / A. Mostowski
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Axiomatic set theory,Model theory
رده :
512
.
817
Mo-C
79. Definable additive categories : purity and model theory
پدیدآورنده: Prest, Mike
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Abelian categories,، Model theory
رده :
QA
3
.
A475
no
.
987
80. Descriptive set theory and definable forcing
پدیدآورنده: Zapletal, Jind'rich, 9691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Descriptive set theory,، Forcing )Model theory(,، Continuum hypothesis,، Borel sets
رده :
QA
3
.
A475
no
.
793
